Towards a Formalization of the Uniied Modeling Language ?
نویسندگان
چکیده
The Uniied Modeling Language UML is a language for specifying , visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard in the domain of object-oriented analysis and design. Due to the missing formal, mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely deened. This paper outlines a proposal for the formal foundation of UML that is based on a mathematical system model.
منابع مشابه
Towards a formalization of UML class structures in Z
There is much interest in developing a rm semantic basis for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build precise OO models of behavior and structure that can be rigorously analyzed. In this paper we present the current results of our ongoing formalization of the Uniied Modeling Language (UML)....
متن کاملExploring the Semantics of Uml Type Structures with Z
The Uniied Modeling Language (UML) builds upon some of the best object-oriented (OO) modeling concepts available, and is intended to serve as a common OO modeling notation. Given its intended role, it is important that the UML notation have a well-deened semantic base. In this paper we present some early results from our work on the systematic formalization of UML modeling constructs. The paper...
متن کاملTowards a Framework for the Development of PreciseSemantics for the UMLR
The need for precise semantics for the OMG standard object-oriented modeling language, Uniied Mod-eling Language (UML), is widely-recognized in the software engineering community. In this paper we propose a framework for developing precise semantics for the UML. Within the framework formal techniques are used to explore the semantic underpinnings of UML constructs and the insights gained are us...
متن کاملTowards a formalization of UML Class Structure in PVS
The Unified Modeling Language (UML) is a language for specifying, visualizing and documenting object-oriented systems, and serves as a standard OO modeling notation. As the semantics of UML constructs is given informally in natural language, it is, for example, difficult to formally reason about correctness of a system design. Formal methods provide a rigor that is lacking in most of OO modelin...
متن کاملExtending the Sugiyama Algorithm for Drawing UML Class Diagrams: Towards Automatic Layout of Object-Oriented Software Diagrams
The automatic layout of software diagrams is a very attractive graph drawing application for use in software tools. Object-oriented software may be modelled using a visual language called the Uniied Modeling Language (UML). In this paper we present an algorithm for the automatic layout of UML class diagrams using an extension of the Sugiyama algorithm together with orthogonal drawing. These dia...
متن کامل